More from this Author

Algebraic Methodology and Software Technology

by Jose Meseguer (Editor), Grigore Rosu (Editor)

Specification, Algebra, and Software

by Shusaku Iida (Editor), Jose Meseguer (Editor), Kazuhiro Ogata (Editor), José Meseguer (Editor)